<?php
$flag = 'flag{0030-0571-8890-4673}';
?>